p, q:. ((p  q))  ((p)  (q)) 

latex

Up	bool 1, bool 1
Definitions	, P  Q, P & Q, True, t  T, tt, ff, if b then t else f fi , b, p q, P  Q, p  q, b, P  Q, x:A. B(x), False, Unit, ,
Lemmas	bool wf, false wf, true wf